Search
Feedback
About
Help
News
| Listing 1 - 8 of 8 |
Sort by
|
Book
ISBN: 0131646249 Year: 1975 Publisher: Englewood Cliffs (N.J.): Prentice Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- 510.6 --- Logic, Symbolic and mathematical --- Predicate calculus --- #WWIS:ALTO --- Calculus, Predicate --- Quantification theory --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- Predicate calculus. --- 510.6 Mathematical logic
ISBN: 0132144786 9780132144780 Year: 1975 Publisher: Englewood Cliffs (N.J.): Prentice Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Digital electronics --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Switching theory --- Automatic control --- Electric networks --- Electric switchgear --- Information theory --- Machine theory --- Mathematical physics --- System analysis --- Telecommunication --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Digital circuits --- Digital techniques (Electronics) --- Electronic systems --- Electronics
Book
ISBN: 072040360X 9780444110022 044411002X 9780080871301 0080871305 9780720403602 1281984159 9786611984151 Year: 1975 Volume: 19 Publisher: Amsterdam New York North Holland Pub. Co. American Elsevier Pub. Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Intensional and higher-order modal logic
Mathematical logic --- Lexicology. Semantics --- Philosophy of language --- Logic, Symbolic and mathematical. --- Modality (Logic). --- Modality (Logic) Logic, Symbolic and mathematical. --- Modality (Logic) --- Logic, Symbolic and mathematical --- Philosophy --- Philosophy & Religion --- Logic --- 510.6 --- 510.6 Mathematical logic --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Modal logic --- Nonclassical mathematical logic --- Bisimulation --- Logique générale --- Logique modale
Book
ISBN: 2853990060 Year: 1975 Publisher: Aix-en-Provence Université de Provence
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Discrete mathematics --- Peirce, Charles Sanders --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Peirce, Charles S. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- Peirce, Charles S., --- Logique symbolique et mathématique --- Peirce, Charles Sanders, --- Peirce, C. S. --- Pirs, Charlz S., --- Peirce, Charles Santiago Sanders, --- Pʻo-erh-ssu, --- Pʻo-erh-ssu, Chʻa-li-ssu, --- Purs, Charls, --- Пърс, Чарлс, --- Chaersi Sangdesi Piersi, --- 查尔斯·桑德斯·皮尔斯,
Book
ISBN: 0631191305 0631158200 Year: 1975 Publisher: Oxford Blackwell
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Mathematics --- Semantics (Philosophy) --- Philosophy --- Logic, Symbolic and mathematical. --- Semantics (Philosophy). --- Philosophy. --- Logic --- Theory of knowledge --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Language and languages --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic of mathematics --- Mathematics, Logic of --- Logic, symbolic and mathematical --- Semantics (philosophy)
ISBN: 9027933936 9789027933935 Year: 1975 Volume: 214 Publisher: The Hague Mouton
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Philosophy of language --- Wittgenstein, Ludwig J.J. --- Logic, Symbolic and mathematical --- Language and languages --- Logique symbolique et mathématique --- Langage et langues --- Philosophy --- Philosophie --- Wittgenstein, Ludwig, --- Logic, symbolic and mathematical --- -Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foreign languages --- Languages --- Anthropology --- Communication --- Ethnology --- Information theory --- Meaning (Psychology) --- Philology --- Linguistics --- Wittgenstein, Ludwig --- Logic, Symbolic and mathematical. --- Logique symbolique et mathématique. --- Philosophy. --- Philosophie. --- Logique symbolique et mathématique --- Language and languages - Philosophy --- Wittgenstein, Ludwig, - 1889-1951. - Tractatus logico-philosophicus
Book
ISBN: 0300017901 9780300017908 Year: 1975 Publisher: New Haven (Conn.): Yale university
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, symbolic and mathematical --- Logic --- Ontology --- Fitch, Frederic B --- Logic, Symbolic and Mathematical. --- Logic. --- Ontology. --- Fitch, Frederic B. --- 510.6 --- Logic, Symbolic and mathematical --- -Ontology --- -Being --- Philosophy --- Metaphysics --- Necessity (Philosophy) --- Substance (Philosophy) --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Addresses, essays, lectures --- Fitch, Frederic Benton --- -Mathematical logic --- Fitch, Frederic Benton, --- 510.6 Mathematical logic --- -510.6 Mathematical logic --- Being --- Logic, Symbolic and Mathematical --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logic, Symbolic and mathematical. --- Logique mathématique --- Fitch, Frederic B - (Frederic Brenton), - 1908-1987 --- Fitch, frederic brenton (1908-1987)
ISBN: 3540074163 0387074163 3540379444 9783540074168 Year: 1975 Volume: 37 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Combinatory logic --- Programming languages (Electronic computers) --- Langages de programmation --- Congresses. --- Congrès --- #TCPW P3.0 --- 681.3*F41 --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Logique combinatoire --- Congrès --- Computer science. --- Logic, Symbolic and mathematical. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Logique
| Listing 1 - 8 of 8 |
Sort by
|